WOLFGANG KÜCHLIN: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Towards automatic software model checking of thousands of Linux modules—a case study with Avinux

Hendrik Post, Carsten Sinz, Wolfgang Küchlin

Journal:

Software Testing, Verification and Reliability

Year:

2009

Language:

english

File:

PDF, 664 KB

english, 2009

2

Parallel computer algebra software as a Web component

Weber, Andreas, Küchlin, Wolfgang, Eggers, Bernhard

Journal:

Concurrency Practice and Experience

Year:

1998

Language:

english

File:

PDF, 83 KB

english, 1998

3

Strategy Compliant Multi-Threaded Term Completion

REINHARD BÜNDGEN, MANFRED GÖBEL, WOLFGANG KÜCHLIN

Journal:

Journal of Symbolic Computation

Year:

1996

Language:

english

File:

PDF, 801 KB

english, 1996

4

Parallel propositional satisfiability checking with distributed dynamic learning

Wolfgang Blochinger, Carsten Sinz, Wolfgang Küchlin

Journal:

Parallel Computing

Year:

2003

Language:

english

File:

PDF, 897 KB

english, 2003

5

On the walk

Beatrice Amrhein, Oliver Gloor, Wolfgang Küchlin

Journal:

Theoretical Computer Science

Year:

1997

Language:

english

File:

PDF, 1.50 MB

english, 1997

6

An object-oriented platform for distributed high-performance symbolic computation

Wolfgang Blochinger, Wolfgang Küchlin, Christoph Ludwig, Andreas Weber

Journal:

Mathematics and Computers in Simulation

Year:

1999

Language:

english

File:

PDF, 1.03 MB

english, 1999

7

Detection of dynamic execution errors in IBM system automation's rule-based expert system

Carsten Sinz, Thomas Lumpp, Jürgen Schneider, Wolfgang Küchlin

Journal:

Information and Software Technology

Year:

2002

Language:

english

File:

PDF, 869 KB

english, 2002

8

PaSAT — Parallel SAT-Checking with Lemma Exchange: Implementation and Applications

Carsten Sinz, Wolfgang Blochinger, Wolfgang Küchlin

Journal:

Electronic Notes in Discrete Mathematics

Year:

2001

Language:

english

File:

PDF, 128 KB

english, 2001

9

Checking Consistency and Completeness of On-Line Product Manuals

Carsten Sinz, Wolfgang Küchlin, Dieter Feichtinger, Georg Görtler

Journal:

Journal of Automated Reasoning

Year:

2006

Language:

english

File:

PDF, 565 KB

english, 2006

10

Proving Consistency Assertions for Automotive Product Data Management

Wolfgang Küchlin, Carsten Sinz

Journal:

Journal of Automated Reasoning

Year:

2000

Language:

english

File:

PDF, 122 KB

english, 2000

11

[IEEE NOMS 2008 - 2008 IEEE Network Operations and Management Symposium - Salvador, Bahia, Brazil (2008.04.7-2008.04.11)] NOMS 2008 - 2008 IEEE Network Operations and Management Symposium - Towards SLA-based optimal workload distribution in SANs

Gencay, Eray, Sinz, Carsten, Kuchlin, Wolfgang

Year:

2008

Language:

english

File:

PDF, 108 KB

english, 2008

12

[IEEE IEEE INFOCOM 2008 - IEEE Conference on Computer Communications Workshops - Phoenix, Arizona, USA (2008.04.13-2008.04.18)] IEEE INFOCOM 2008 - IEEE Conference on Computer Communications Workshops - SLA-based SAN design

Gencay, Eray, Sinz, Carsten, Kuchlin, Wolfgang

Year:

2008

Language:

english

File:

PDF, 369 KB

english, 2008

13

Formal methods for the validation of automotive product configuration data

SINZ, CARSTEN, KAISER, ANDREAS, KÜCHLIN, WOLFGANG

Journal:

Artificial intelligence for engineering design analysis and manufacturing

Year:

2003

Language:

english

File:

PDF, 575 KB

english, 2003

14

[ACM Press the 2006 conference - Portland, Oregon (2006.11.10-2006.11.11)] Proceedings of the 2006 conference on Specification and verification of component-based systems - SAVCBS '06 - Automatic data environment construction for static device drivers analysis

Post, Hendrik, Küchlin, Wolfgang

Year:

2006

Language:

english

File:

PDF, 168 KB

english, 2006

15

[ACM Press the 1991 international symposium - Bonn, West Germany (1991.07.15-1991.07.17)] Proceedings of the 1991 international symposium on Symbolic and algebraic computation - ISSAC '91 - On the multi-threaded computation of integral polynomial greatest common divisors

Küchlin, Wolfgang

Year:

1991

Language:

english

File:

PDF, 1017 KB

english, 1991

16

New approaches to boolean quantifier elimination

Zengler, Christoph, Kübler, Andreas, Küchlin, Wolfgang

Journal:

ACM Communications in Computer Algebra

Year:

2011

Language:

english

File:

PDF, 183 KB

english, 2011

17

Boolean Gröbner bases in SAT solving

Zengler, Christoph, Küchlin, Wolfgang

Journal:

ACM Communications in Computer Algebra

Year:

2011

Language:

english

File:

PDF, 197 KB

english, 2011

18

Some reduction strategies for algebraic term rewriting

Küchlin, Wolfgang

Journal:

ACM SIGSAM Bulletin

Year:

1982

Language:

english

File:

PDF, 789 KB

english, 1982

19

[ACM Press the 1996 international symposium - Zurich, Switzerland (1996.07.24-1996.07.26)] Proceedings of the 1996 international symposium on Symbolic and algebraic computation - ISSAC '96 - A case study of multi-threaded Gröbner basis completion

Amrhein, Beatrice, Gloor, Oliver, Küchlin, Wolfgang

Year:

1996

Language:

english

File:

PDF, 949 KB

english, 1996

20

[ACM Press the 2000 ACM symposium - Como, Italy (2000..-..)] Proceedings of the 2000 ACM symposium on Applied computing - SAC '00 - A lightweight, message-oriented application server for the WWW

Schimkat, Ralf-Dieter, Müller, Stefan, Küchlin, Wolfgang

Year:

2000

Language:

english

File:

PDF, 1.31 MB

english, 2000

21

[ACM Press the 5th international conference - Cologne, West Germany (1991.06.17-1991.06.21)] Proceedings of the 5th international conference on Supercomputing - ICS '91 - A space-efficient parallel garbage compaction algorithm

Küchlin, Wolfgang

Year:

1991

Language:

english

File:

PDF, 787 KB

english, 1991

22

Constraint-based and SAT-based diagnosis of automotive configuration problems

Walter, Rouven, Felfernig, Alexander, Küchlin, Wolfgang

Journal:

Journal of Intelligent Information Systems

Year:

2016

Language:

english

File:

PDF, 1.02 MB

english, 2016

23

Reality-Driven Visualization of Automation Systems via The Internet Based On Java And Xml

Nusser, Gerd, Bühler, Dieter, Gruhler, Gerhard, Küchlin, Wolfgang

Journal:

IFAC Proceedings Volumes

Year:

2001

Language:

english

File:

PDF, 656 KB

english, 2001

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски